منابع مشابه
Stepwise refinement revisited
In this paper, rigorous application of stepwise refinement is explored. The steps of definition, decomposition, and completion are described, where completion is a newly introduced step. This combination of steps extends the use of stepwise refinement to larger systems. The notions of range, active objects, and backlog interface are introduced. Verification of incomplete programs via interactiv...
متن کاملStepwise Refinement of Processes
Industry is looking to create a market in reliable “plug-and-play” components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite unexpected ways what we are able to fo...
متن کاملStepwise Refinement of Communicating Systems
The action system formalism 4] is a state-based approach to distributed computing. In this paper, it is shown how the action system formalism may be used to describe systems that communicate with their environment through synchronised value-passing. Deenitions and rules are presented for reening and decomposing such action systems into distributed implementations in which internal communication...
متن کاملStepwise Refinement and Problem Solving
S tepwise refinement remains a popular approach to program-design implementation, primarily because of its flexibility. As originally proposed by Niklaus Wirth, the technique involves successively decomposing design decisions into target code. With each re6nement step, the designer must + note the interdependence of subproblems, + attempt to preserve the design’s functional correctness, and + d...
متن کاملAspect Refinement Ð Unifying AOP and Stepwise Refinement
Stepwise refinement (SWR) is fundamental to software engineering. As aspectoriented programming (AOP) is gaining momentum in software development, aspects should be considered in the light of SWR. In this paper, we elaborate the notion of aspect refinement that unifies AOP and SWR at the architectural level. To reflect this unification to the programming language level, we present an implementa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 1985
ISSN: 0164-1212
DOI: 10.1016/0164-1212(85)90009-3